#include <stdio.h>
#include <stdlib.h>
#include "device_driver.h"
#include <iostream>
using namespace std;
//char * modify_file(char *inputfilename);
//char * generate_ptx(char *inputfilename);
string transform(string inputfilename,int argc,char ** argv);

